介观电路中量子纠缠的经典对应

从量子力学诞生日起,它的经典对应(或类比)一直是物理学家关心的话题.本文以介观电路量子化的框架中,带有互感的两个介观电容-电感(LC)电路为例,首次讨论了量子纠缠的经典类比(或对应)问题.先用有序算符内的积分理论证明其互感是产生量子纠缠的源头;再推导出求解特征频率的公式,就发现它与一个经典系统的小振动频率的表达式有相似之处,该经典系统组成如下:两个墙壁各连一个相同的弹簧,两个弹簧之间接着一个滑动小车可以在光滑的桌面上运动,小车挂有一根单摆.用分析力学求此系统的小振动频率,发现与上述介观电路的特征频率形式类似,单摆的摆动会造成小车来回振动,摆、小车和弹簧的互相牵制效应反映了小车和摆的"纠缠".     

Quantifier-free epistemic term-modal logic with assignment operator

In standard epistemic logic, the names and the existence of agents are usually assumed to be common knowledge implicitly. This is unreasonable for various applications in computer science and philosophy. Inspired by term-modal logic and assignment operators in dynamic logic, we introduce a lightweight modal predicate logic where names can be non-rigid, and the existence of agents can be uncertain. The language can handle various de dicto/de re distinctions in a natural way. We characterize the expressive power of our language, obtain complete axiomatisations of the logics over several classes of varying-domain/constant-domain epistemic models, and show their (un)decidability.     

NIFTy 3 – Numerical Information Field Theory: A Python Framework for Multicomponent Signal Inference on HPC Clusters

NIFTy , “Numerical Information Field Theory,” is a software framework designed to ease the development and implementation of field inference algorithms. Field equations are formulated independently of the underlying spatial geometry allowing the user to focus on the algorithmic design. Under the hood, NIFTy ensures that the discretization of the implemented equations is consistent. This enables the user to prototype an algorithm rapidly in 1D and then apply it to high‐dimensional real‐world problems. This paper introduces NIFTy  3, a major upgrade to the original NIFTy  framework. NIFTy  3 allows the user to run inference algorithms on massively parallel high performance computing clusters without changing the implementation of the field equations. It supports n‐dimensional Cartesian spaces, spherical spaces, power spaces, and product spaces as well as transforms to their harmonic counterparts. Furthermore, NIFTy  3 is able to handle non‐scalar fields, such as vector or tensor fields. The functionality and performance of the software package is demonstrated with example code, which implements a mock inference inspired by a real‐world algorithm from the realm of information field theory. NIFTy  3 is open‐source software available under the GNU General Public License v3 (GPL‐3) at https://gitlab.mpcdf.mpg.de/ift/NIFTy/tree/NIFTy_3 .     

Minimal kernels of Dirac operators along maps

Let M be a closed spin manifold and let N be a closed manifold. For maps and Riemannian metrics g on M and h on N, we consider the Dirac operator of the twisted Dirac bundle . To this Dirac operator one can associate an index in . If M is 2‐dimensional, one gets a lower bound for the dimension of the kernel of out of this index. We investigate the question whether this lower bound is obtained for generic tupels .     

Non‐self‐adjoint singular second‐order dynamic operators on time scale

In this study, maximal dissipative second‐order dynamic operators on semi‐infinite time scale are studied in the Hilbert space , that the extensions of a minimal symmetric operator in limit‐point case. We construct a self‐adjoint dilation of the dissipative operator together with its incoming and outgoing spectral representations so that we can determine the scattering function of the dilation as stated in the scheme of Lax‐Phillips. Moreover, we construct a functional model of the dissipative operator and identify its characteristic function in terms of the Weyl‐Titchmarsh function of a self‐adjoint second‐order dynamic operator. Finally, we prove the theorems on completeness of the system of root functions of the dissipative and accumulative dynamic operators.